Detailed Proofs of Lemmas, Theorems, and Corollaries

نویسندگان

  • Dahua Lin
  • John Fisher
چکیده

Here, η(b, f) = 2αb = 2βf is the total probability of cross-space transition, φ = min{Φ∗(QBF ),Φ∗(QFB)}. Corollary 1. The joint chain P+ is ergodic when the collapsed chains (QBF and QFB) are both ergodic. Lemma 3. Let P be a reversible transition matrix over X, such that P(x, x) ≥ ξ > 0 for each x ∈ X then its smallest eigenvalue λn has λn ≥ 2ξ − 1. Theorem 4. The hierarchically bridging Markov chain with bk < 1 for k = 0, . . . ,K−1, and fk < 1 for k = 1, . . . ,K is ergodic. If we write the equilibrium distribution in form of (αμ0, β1μ1, . . . , βKμK), then (S1) μ0 equals the target distribution μ; (S2) for each k ≥ 1, and y ∈ Yk, μk(y) is proportional to the total probability of its descendant target states (the target states derived by filling all its placeholders); (S3) α, the probability of being at the target level, is given by α−1 = 1 + ∑K k=1(b0 · · · bk−1)/(f1 · · · fk). Corollary 2. If bk/fk+1 ≤ κ < 1 for each k = 1, . . . ,K, then α > 1− κ.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Safe Policy Iteration – Supplementary Material

Matteo Pirotta [email protected] Marcello Restelli [email protected] Alessio Pecorino [email protected] Daniele Calandriello [email protected] Dept. Elect., Inf., and Bioeng., Politecnico di Milano, piazza Leonardo da Vinci 32, I-20133, Milan, ITALY Abstract This document provides additional material to the main paper. In particular, it provides:...

متن کامل

Supplement to “ Complementarity and aggregate implications of assortative matching : A nonparametric analysis ”

In this appendix, we state a number of preliminary results that will be used in the proofs of the four theorems in the main text. Detailed proofs of the results listed below may be found in Appendix C below. The proofs of the main results are given in Appendix B. The proof of Theorem 4.1 uses Lemmas A.1 and A.2 below. Theorems 5.1 and 5.2 use Lemmas A.3–A.12, A.14, A.15, Theorem A.2, and Lemmas...

متن کامل

Mining the Archive of Formal Proofs

The Archive of Formal Proofs (AFP, http://afp.sf.net) is an online library of proof developments for the proof assistant Isabelle [21] contributed by its users. The AFP is organized like a scientific journal. Each contribution is called an article and is a collection of Isabelle theories, i.e., files with definitions, lemmas, and proofs in Isabelle’s input language Isar [20, 29]. A few articles...

متن کامل

Material for “ On parametric lower bounds for discrete - time filtering ”

This report contains supplementary material for the paper [1], and gives detailed proofs of all theorems and lemmas that could not be included into the paper due to space limitations.

متن کامل

Portmanteau Test and Simultaneous Inference for Serial Covariances

The supplementary file is organized as follows. We first collect in Section S1 some moment inequalities concerning the sums and quadratic forms of stationary processes, which might be useful for other studies. We then give the complements of Section 4.1 in Section S2, and the complements of Section 4.2 in Section S3, including the proofs of intermediate lemmas, as well as other theorems and cor...

متن کامل

Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry

Search methods provide short and human readable proofs, i.e. with few algebra, of most of the theorems of the Euclidean plane. They are less succesful and convincing for incidence theorems of projective geometry, which has received less attention up to now. This is due to the fact that basic notions, like angles and distances, which are relevant for Euclidean geometry, are no more relevant for ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012